自动化推论工具automate: vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...reasoning: n. 推论,推理;论究,论断;理论,论证;论法。 adj ...tool: n. 1.工具,用具,器具;【机械工程】刀具;工具母机 ...art: vi. 〔古、诗〕〔主语为 thou 时〕 be 的第二 ...automated reasoning tool: 自动化推论工具; 自动推理工具下载手机词典可随时随地查词查翻译